MATHEMATICAL
                              PROGRAMMING SYSTEMS
                                  II

                                                 BIOI //

There have been but three epoch-making mathematicians, Archimedes, Newton, and Eisenstein.
--> Carl Friedrich Gauss. In: 
E. T. Bell : Men of Mathematics. London, Victor Gollancz Ltd. 1937, p. 277

There have been but three epoch-making locicians, Aristotle, Frege, and Steve Jobs.
--> Paraphrase of  **  by  A.P.H.

**  
Before Frege's time, all of Aristotelian logic worried about objects that had properties. But it wasn't possible to express a relationship between two objects. Frege changed that. Steve Jobs is a successor to Frege.
--> Tom Atwood. In: 
Daniel Miles Kehoe :  Logical Partner, NeXTWORLD, June/July 1993, pp. 9,13  

                                                  SETL

The essence of Mathematics lies in its freedom.
--> George Cantor

                                                 1. ISETL

VERSION - UPDATE: 3.0 (09-11-91)                                 

README:
"This version was compiled with Think-C (c) Symantec Screen Editor based on the THINK C Class Library. The interactive line editor was derived from ILE  written by Robert C. Pendleton (c) 1988, Evans & Sutherland.
This program was developed while the author was a member of the Clarkson faculty, using the Z200 provided by the school.  West Publishing has provided a Macintosh for further refinement of the Mac version.  West has also provided support for the development of the PC and Mac graphics features.
There are many people who have contributed to the ideas behind ISETL.  First and foremost is Ed Dubinsky, whose idea it was to use SETL for teaching Discrete Mathematics.  His dissatisfaction with the old implementation suggested this project.  Others include: Nancy Baxter, Don Muench, and that mysterious bunch that we just call IWEST."

AUTHOR:
Gary Marc Levin
    
COPYRIGHT:
(c) Gary Marc Levin 1987 - 1990

TYPE:
Freeware

INTERNET SITES:
Original site:
ftp://sun.soe.clarkson.edu/pub/ISETL/Mac/

Other sites (mirrors):
ftp://archives.math.utk.edu/software/mac/progLanguages/ISETL/
ftp://archives.math.utk.edu/software/mac/logic/ISETL/
ftp://archives.math.utk.edu/software/mac/discreteMath/ISETL/
ftp://ftp.gwdg.de/pub/languages/isetl/clarkson.edu/isetl/Mac/
ftp://ftp.gwdg.de/pub/languages/isetl/clarkson.edu/isetl/mac/
ftp://ftp.ae.keio.ac.jp/pub/lang/ISETL/mac/

                                      2. SETL2

                                                MacSETL2                                      

VERSION - UPDATE: Setl2 Version 2.2  (09-11-90)                               

README:
"The Macintosh implementation of SETL2 runs as a tool in the MPW Development Environment.  It will not run as a stand-alone application, so MPW is absolutely required.  MPW is available from the Apple Programmers and Developers Association (APDA), run by Apple.  It provides a Unix-like shell for the Mac, and therefore allows SETL2 to use the same user-interface for the Mac which it uses for other implementations."

AUTHOR :
Kirk Snyder
    
COPYRIGHT:-

TYPE:
Freeware

INTERNET SITES:
Original site:
ftp://cs.nyu.edu/pub/languages/setl2/

Other site (mirror):
ftp://ftp.gwdg.de/pub/languages/nyu.edu/setl2/                                         

                                               Yorick

An architect fellow named Yoric
Could, when feeling euphoric,
Display for selection
Three kinds of erection:
Corinthian, ionic, and doric.
--> ?

                                              MacYorick
  
VERSION - UPDATE: 1.2vr1 (Feb. 96)
(68k [fpu+nofpu] +PPC)                                 

README:
"Yorick is a tool for analyzing numerical data. It has an interpreter that uses a C-like language and can operate on entire arrays without any need for do loops over the array indices. Yorick has a file I/O package with the ability to conveniently read text files with columns of numbers. The file I/O package can easily be trained to read a wide variety of binary and text files, if the formatting rules for the file are known. Yorick also has a 2D graphics package that includes polylines, contour plots, cell arrays, and filled mesh plots."
"macyorick has all the bug fixes in the 1.2 release of yorick for Unix plus fixes for the first two bugs found in release 1.2." 

AUTHORS:
Unix:
D. Munro
mac port:
S. Langer
    
COPYRIGHT:
(c) 1994 The Regents of the University of California

TYPE:
Freeware

INTERNET SITES:
Original site:
ftp://icf.llnl.gov/pub/Yorick/macintosh/

Other sites (mirrors):
ftp://wuarchive.wustl.edu/languages/yorick/macintosh/
http://wuarchive.wustl.edu/languages/yorick/macintosh/
ftp://ftp.sterling.com/wuarchive/languages/yorick/macintosh/

Other sites:
Info-Mac
UMich